Towards a modular software package for embedded optimization

SNPbox: a modular software package for large-scale primer design

UNLABELLED We developed a modular software package SNPbox that automates and standardizes the generation of PCR primers and is used in the strategy for constructing single nucleotide polymorphisms (SNPs) maps. In this strategy, the focus of primer design can be either on the validation of annotated public SNPs or on the SNP discovery in exon regions or extended genomic regions, both by resequen...

Towards Static Modular Software Verification

The paper presents our first work in progress results of an approach to verify the correct use of software libraries in target projects. Therefor the project’s source code is analyzed and checked against the library’s behavior specification, called interface grammar. This grammar is formalized using annotated state diagrams, and the verification analysis is based on static control flow, data fl...

A Parallel Software Package for Nonlinear Global Optimization

In this paper, we report a Fortran 90/95 software package, ParaGlobSol, that reliably finds numerical solutions for continuous nonlinear global optimization problems in parallel. With this package, we have successfully solved some computational intensive real application problems. Superlinear speedup for some application have been observed because of that our parallel implementations can perfor...

FORGE: A Framework for Optimization of Distributed Embedded Systems Software

Smile Analyzer: A Software Package for Analyzing the Characteristics of the Speech and Smile

Taking into account the factors related to lip-tooth relationships in orthodontic diagnosis and treatment planning is of prime importance. Manual quantitative analysis of facial parameters on photographs during smile and speech is a difficult and time-consuming job. Since there is no comprehensive and user-friendly software package, we developed a software program called "Smile Analyzer" in the...